Static Visualization of Dynamic Data Flow Visual Program Execution
نویسندگان
چکیده
We propose ‘Trace View’, a static visualization method for monitoring and debugging the dynamic behavior of programs written in data flow visual programming languages. Trace View presents a hierarchical structure of the data flow between nodes that is created over the execution time of the program. The view also serves as an interface that allows the programmer to select a data stream link when data must be examined during debugging. Moreover, since visualization grows in size according to the life time of the program, we have developed techniques to scale the view using a multi-focus focus+context view.
منابع مشابه
Design and Simulation of a Data-Flow Multiprocessor System
A data-flow execution model that supports program reentrancy, recursion, and automatic run-time loop unraveling without the use of tagged tokens is described. This execution model is based on a novel data-flow program graph representation scheme which is a hybrid of static and dynamic data-flow program representation methods. In particular, the use of separate instruction and data token spaces ...
متن کاملSpecifying Algorithm Visualizations in Terms of Data Flow
Interesting events and state mapping are two approaches used to specify software visualization. They are applied in, respectively, event-driven and data-driven visualization systems. Yet another approach, data flow mapping, is presented in the paper. However similar to the state mapping, this new method of specification emphasizes dynamic rather then static aspect of the program execution. A co...
متن کاملIncremental Compositional Dynamic Test Generation
Dynamic test generation consists of running a programwhile simultaneously executing the program symbolically in order to gather constrains on inputs from conditional statements encountered along the execution. Those constraints are then systematically negated and solved with a constraint solver, generating new test inputs to exercise different execution paths of the program. This process is rep...
متن کاملFast approximately timed simulation
In this paper we present a technique for fast approximately timed simulation of software within a virtual prototyping framework. Our method performs a static analysis of the program control flow graph to construct annotations of the simulated program, combined with dynamic performance information. The static analysis estimates execution time based on a target architecture model. The delays intr...
متن کاملVisual Patterns + Multi-Focus Fisheye View: An Automatic Scalable Visualization Technique of Data-Flow Visual Program Execution
We present a scalable visualization technique for automatic animation of data-flow visual program execution. We also show a framework to assist programmers' browsing tasks by automatically producing the views of execution that highlight significant aspects of the program. The techniques described in this paper are based on the visual design patterns (VDPs) proposed in our VL'97 paper, which ser...
متن کامل